Merkle Search Trees: Efficient State-Based CRDTs in Open Networks